Closed category - PDFSEARCH.IO - Document Search Engine

Closed category
Results: 176

#	Item
11	REMARKS ON MOTIVIC HOMOTOPY THEORY OVER ALGEBRAICALLY CLOSED FIELDS PO HU, IGOR KRIZ AND KYLE ORMSBY Abstract. We discuss certain calculations in the 2-complete motivic stable homotopy category over an algebraically clos Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2010-10-12 22:16:22 Homotopy theory Motivic cohomology Spectrum Cohomology Homotopy groups of spheres Homotopy Adams spectral sequence Stable homotopy theory CW complex EilenbergMacLane space Motive Norm residue isomorphism theorem
12	Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:41 Logic Theoretical computer science Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol General topology Cartesian closed category Lambda calculus
13	QUOTIENTS AND COLIMITS OF κ-QUANTALES ˘ PULTR RICHARD N. BALL AND ALES Dedicated to Eraldo Giuli on the occasion of his 70th birthday Abstract. Let κQnt be the category of of κ-quantales, quantales closed under κ-jo Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
14	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad
15	LND76-DWT Model Behind-the-Ear (BTE) hearing instrument model 76 in the standard power category supporting open and closed Add to Reading List Source URL: www.beltoneuniversity.com Language: English - Date: 2015-02-20 11:02:31
16	BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-10-06 07:03:41 Functors Monad Kleisli category Limit Universal property Natural transformation Equivalence of categories Enriched category Cartesian closed category Category theory Adjoint functors Monoidal categories
17	Science of Computer Programming ELSEVIER Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2008-03-25 21:14:46 Logic in computer science Algebraic structures Combinatory logic Function Axiom Cartesian closed category Group Sheaf Mathematics Lambda calculus Mathematical logic
18	Type of material: Videos Jane-athon category (1-8): _____ Resource Identifier (e.g., Title, etc.): ______________________________________________________ Add to Reading List Source URL: rballs.info Language: English - Date: 2015-04-26 14:55:54 High-definition television Subtitling Transcription Resource Accessibility Disk formatting Design Computing System software Assistive technology Closed captioning Deafness
19	Docsoft:AV Based Solution Wins ‘Digital Education Achievement Award’ The Center for Digital Education has awarded Northern Virginia Community College a DIGITAL EDUCATION ACHIEVEMENT AWARD in the Category of ‘Integr Add to Reading List Source URL: www.docsoft.com Language: English - Date: 2013-10-17 14:20:48 Internet broadcasting Internet television Streaming Video on demand Closed captioning Television Terminology Video
20	Topological classification with TOPOS4 Add to Reading List Source URL: topospro.com Language: English - Date: 2015-03-06 08:37:16 Topos Grothendieck topology Net Subnet Closed set Filter Category of topological spaces Topology General topology Topological space

UPDATE